APDEJT.si

Google DeepMind je razvil AI orodje AlphaEvolve, ki je v sodelovanju z matematikom Terenceom Taom pomagalo najti nove poti do rešitev nerešenih matematičnih problemov, natančneje, izboljšalo je dokaze za končno-poljsko Kakeya domnevo. AI ne le napoveduje in povzema, temveč tudi ustvarja, preverja in dokazuje matematične ideje. Gemini Deep Think je preveril logiko, AlphaProof pa je formaliziral rezultat, kar je ustvarilo zaključen AI-raziskovalni krog.

Sistemi umetne inteligence Google DeepMind in OpenAI sta si prislužila zlati medalji na Mednarodni matematični olimpijadi (IMO), prestižnem tekmovanju za mlade matematike. Medtem ko je Google DeepMind poudaril, da je njihov sistem Gemini Deep Think spoštoval pravila IMO za dosego rezultata, kar ga loči od nekaterih trditev OpenAI, so se pojavile tudi šale o izzivih AI modelov v fizičnih tekmovanjih. Obe podjetji sta dosegli preboj na področju reševanja kompleksnih matematičnih problemov z naravnim jezikom, kar kaže na napredek v sklepanju AI in doseganju človeških zmogljivosti. Vendarle so se pojavila tudi vprašanja o metodologiji, s katero so posamezni modeli dosegli svoje rezultate.